دليل : در مانعة الجمع ، اجتماع دو طرف در صدق ، محال است بنابراين هركدام كه متحقق شود ديگرى حتما سلب خواهد شد ولى ارتفاع محال نيست ، لذا از انتفاء يكى ، اثبات ديگرى لازم نمىآيد بلكه آن نيز ممكن است مرتفع شود و هيچ‌كدام نباشند . مثال : « امّا ان يكون هذا شجر ، و امّا ان يكون حجر » 1 . « لكنّه شجر » ، « فهو ليس بحجر » منتج 2 . « لكنه حجر » ، « فهو ليس بشجر » منتج 3 . « لكنه ليس بشجر » ، « فهو حجر » عقيم 4 . « لكنه ليس بحجر » ، « فهو شجر » عقيم علت عقيم اين است كه شايد نه حجر باشد نه شجر و شىء ثالثى باشد مانند حيوان . صورت سوّم : اگر صغرى ، منفصلهء مانعة الخلّو باشد باز دو احتمال از چهار احتمال منتج است و دو احتمال عقيم ؛ امّا دو احتمال منتج : 1 . رفع مقدّم ، منتج وضع تالى است . 2 . رفع تالى ، منتج وضع مقدم است . دو احتمال عقيم : 1 . وضع مقدم ، منتج رفع تالى نيست . 2 . وضع تالى ، منتج رفع مقدم نيست . برهان : در مانعة الخلّو ، انتفاء و ارتفاع دو طرف باهم محال است ، پس اگر يك طرف سلب شد طرف ديگر حتما اثبات مىشود ؛ ولى اجتماع دو نسبت در تحقق محال نيست ، يعنى اگر يكى اثبات شد ممكن است ديگرى هم اثبات شود . مثال : « امّا هذا لا شجر ، و امّا لا حجر » 1 . « لكنه ليس بلا شجر » ، « فهو لا حجر » منتج 2 . « لكنه ليس بلا حجر » ، « فهو لا شجر » منتج 3 . « لكنه لا شجر » ، « فهو ليس بلا حجر » غير منتج 4 . « لكنه لا حجر » ، « فهو ليس بلا شجر » غير منتج مثال ديگر : « زيد امّا في البحر ، و امّا ان لا يغرق » 1 . « لكنه ليس في البحر » ، « فهو لا يغرق » منتج